Associative property of binary operation